And formal verification is one form of static verification.
其中形式验证是静态验证的一种。
参考来源 - 超大规模集成电路设计流程中的验证技术及实践Time management is an important part of workflow software. This paper presents a time modeling method based on Petri-net,proposes a static verification rules for the models.
时间管理是工作流管理软件的重要部分,针对目前工作流系统对时间管理的需求,通过对传统Petri网扩展时间信息来描述时间模型,提出了一种静态验证方法,对模型进行基本验证和任务间的依赖约束验证;实例分析表明,该方法在减少工作量的同时提高了验证的有效性。
参考来源 - 一种基于Petri网的时间工作流模型的研究与验证 in C·2,447,543篇论文数据,部分数据来源于NoteExpress
And formal verification is one form of static verification.
其中形式验证是静态验证的一种。
Assumptions are similar to assertions at runtime, but differ during static verification.
假定与运行时断言相似,不同之处在于静态检验的方式。
Static verification and design by contract relay on theorems that are mostly based on deterministic approach.
静态验证和契约式设计理论大部分属于确定性理论的范畴。
应用推荐